Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems

Interface specifications play an important role in component-based software development. An interface theory is a formal framework supporting composition, refinement and compatibility of interface specifications. We present different interface theories which use modal I/O-transition systems as their underlying domain for interface specifications: synchronous interface theories, which employ a synchronous communication schema, as well as a novel interface theory for asynchronous communication where components communicate via FIFO-buffers.Comment: In Proceedings FIT 2010, arXiv:1101.426

On the Observable Behaviour of Composite Components

AbstractThe crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which encapsulate the behaviour of (possibly large) assemblies of connected subcomponents. We first present our general component model which is equipped with a precise formal semantics allowing us to distinguish systematically different kinds of behaviours for ports, for components, and for component assemblies; technically we use UML2 notation for describing component structures and I/O-transition systems for behaviours. Then we investigate an efficient method for the computation of the observable behaviour of composite components which can circumvent the possibly infeasible intermediate computation of the usually complex behaviour of underlying assemblies if there are behaviourally neutral subcomponents. Finally, we utilise the fact that components are connected via ports such that checks for behavioural neutrality of components can be reduced to checks for behavioural neutrality of connected ports in the case of weakly deterministic port behaviours

Global change impacts on groundwater in Southern Germany-Part 2: Socioeconomic aspects

In order to account for complex interactions between humans climate and the water cycle, the research consortium GLOWA-Danube (www.glowa-danube.de) has developed the simulation system DANUBIA which consists of 17 coupled models. DANUBIA was applied to investigate various impacts of global-change between 2011 and 2060 in the Upper Danube Catchment. This article describes part 2 of an article series with investigations of socio-economic aspects, while part 1 (Barthel et al. in Grundwasser 16(4), doi:10.1007/s007-011-01794, 2011) deals with natural-spatial aspects. The principles of socioeconomic actor-modeling and interactions between socioeconomic and natural science model components are described here. We present selected simulations that show impacts on groundwater from changes in agriculture, tourism, economy, domestic water users and water supply. Despite decreases in water consumption, the scenario simulations show significant decreases in groundwater quantity. On the other hand, groundwater quality will likely be influenced more severely by land use changes compared to direct climatic causes. However, overall changes will not be dramatic